#!/bin/bash

for x in ../oldsrc/*.mli; do
	y=`basename $x`
	echo "$x -> $y"
	sed -e "s/Lexeme/Lxm/g" $x > $y
done
